Assumptions: cogenerating set, self-dual
Conclusions: generating set
Proof: This holds by self-duality.